Jeffords, Ralph: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2007 IEEE Aerospace Conference - Big Sky, MT, USA (2007.03.3-2007.03.10)] 2007 IEEE Aerospace Conference - Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned

Heitmeyer, L., Jeffords, Ralph D.

Year:

2007

Language:

english

File:

PDF, 12.34 MB

english, 2007

2

P8. Relationship Between Total Disc Replacemet Device Position, Range of Motion, and Clinical Outcome

Paul Jeffords, Jack Zigler, Donna Ohnmeiss, Barton Sachs, Ralph Rashbaum

Journal:

The Spine Journal

Year:

2006

Language:

english

File:

PDF, 63 KB

english, 2006

3

A definitive investigation of the reaction of cyclopentadiene with cis-3,4-dichlorocyclobutene: A literature correction

Ronald N. Warrener, Richard P. Johnson, Charles W. Jefford, David A. Ralph

Journal:

Tetrahedron Letters

Year:

1979

Language:

english

File:

PDF, 236 KB

english, 1979

4

Model-based construction and verification of critical systems using composition and partial refinement

Ralph D. Jeffords, Constance L. Heitmeyer, Myla M. Archer, Elizabeth I. Leonard

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 1.13 MB

english, 2010

5

An application of the logistic equation to the population dynamics of salt-marsh gastropods

Garrell E. Long, Phillip H. Duran, Ralph O. Jeffords, Douglas N. Weldon

Journal:

Theoretical Population Biology

Year:

1974

Language:

english

File:

PDF, 510 KB

english, 1974

6

[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Direct generation of invariants for reactive models

Leonard, Elizabeth I., Archer, Myla M., Heitmeyer, Constance L., Jeffords, Ralph D.

Year:

2012

Language:

english

File:

PDF, 410 KB

english, 2012

7

[IEEE 15th IEEE International Requirements Engineering Conference (RE 2007) - Delhi, India (2007.10.15-2007.10.19)] 15th IEEE International Requirements Engineering Conference (RE 2007) - RE Theory Meets Software Practice: Lessons from the Software Development Trenches

Heitmeyer, Constance, Jeffords, Ralph, Bharadwaj, Ramesh, Archer, Myla

Year:

2007

Language:

english

File:

PDF, 513 KB

english, 2007

8

Automated consistency checking of requirements specifications

Heitmeyer, Constance L., Jeffords, Ralph D., Labaw, Bruce G.

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1996

Language:

english

File:

PDF, 395 KB

english, 1996

9

[ACM Press the 6th ACM SIGSOFT international symposium - Lake Buena Vista, Florida, United States (1998.11.01-1998.11.05)] Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '98/FSE-6 - Automatic generation of state invariants from requirements specifications

Jeffords, Ralph, Heitmeyer, Constance

Year:

1998

Language:

english

File:

PDF, 1.26 MB

english, 1998

10

[ACM Press the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium - Helsinki, Finland (2003.09.01-2003.09.05)] Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03 - A strategy for efficiently verifying requirements

Jeffords, Ralph D., Heitmeyer, Constance L.

Year:

2003

Language:

english

File:

PDF, 238 KB

english, 2003

11

[ACM Press the 15th annual Southeast regional conference - Not Known (1977.04.18-1977.04.20)] Proceedings of the 15th annual Southeast regional conference on - ACM-SE 15 - A vector encoding technique applicable to tabular parsing methods

Jeffords, Ralph D., Benson, David B.

Year:

1977

Language:

english

File:

PDF, 245 KB

english, 1977

12

[ACM Press the 20th annual Southeast regional conference - Knoxville, Tennessee (1982.04.01-1982.04.03)] Proceedings of the 20th annual Southeast regional conference on - ACM-SE 20 - Bit vector encoding via decomposition

Jeffords, Ralph D.

Year:

1982

Language:

english

File:

PDF, 364 KB

english, 1982

13

Technical correspondence: updating a master file ---yet another time

Jeffords, Ralph D.

Journal:

Communications of the ACM

Year:

1982

Language:

english

File:

PDF, 273 KB

english, 1982

14

Automatic generation of state invariants from requirements specifications

Jeffords, Ralph, Heitmeyer, Constance

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 1.26 MB

english, 1998

15

A strategy for efficiently verifying requirements

Jeffords, Ralph D., Heitmeyer, Constance L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 238 KB

english, 2003

16

ChemInform Abstract: A DEFINITIVE INVESTIGATION OF THE REACTION OF CYCLOPENTADIENE WITH CIS-3,4-DICHLOROCYCLOBUTENE: A LITERATURE CORRECTION

WARRENER, R. N., JOHNSON, R. P., JEFFORD, C. W., RALPH, D. A.

Journal:

Chemischer Informationsdienst

Year:

1979

File:

PDF, 115 KB

1979